Fix unfalsifiable tests that swallow assertion failures#1199

Asher- wants to merge 1 commit intooraios:mainoraios/serena:mainfrom

Asher-:fix/unfalsifiable-testsAsher-/serena:fix/unfalsifiable-testsCopy head branch name to clipboard