Add test for invariant checks after actions in try-interrupt blocks#406

lola831 wants to merge 1 commit intoBerkeleyLearnVerify:mainBerkeleyLearnVerify/Scenic:mainfrom

lola831:test-try-interrupt-invariantlola831/Scenic:test-try-interrupt-invariantCopy head branch name to clipboard