Automerge: [LV] Add additional test with SCEV predicate.

The SCEV predicate in the existing tests for optimizing for size is
known to be false. Add additional test with a predicate that cannot be
proven true/false.

Also generate checks with latest version of script.

Author: fhahn