Failing test cases on sbt test that were previously succeeding

[jennalwise]

There are 40 failing test cases when running sbt test on master currently, these should not be failing (they were succeeding prior to data collection for the TOPLAS paper in Summer 2024, so our feature extensions in the meantime are likely the culprit).

In particular, gradual/branch_check.vpr is failing due to incorrect behavior at loop branching that should be fixed.

[dalpm]

All the tests should be passing after the following changes (from oldest to newest):

• gradual-verification/silver-gv@db91806
• gradual-verification/silver-gv@4e7ccd0
• gradual-verification/silver-gv@f3f1dd6
• gradual-verification/silver-gv@6e35eeb
• gradual-verification/silver-gv@fce5b61
• gradual-verification/silver-gv@b789441
• 3143c30