[SCEV] Verify block disposition cache.

This extends the existing SCEV verification to catch cache invalidation
issues as in #57837.

The validation logic is similar to the recently added loop disposition
cache validation in bb68b240.

Reviewed By: nikic

Differential Revision: https://reviews.llvm.org/D134531