Add a basic verifier for SCEV's backedge taken counts.