Fix test pipeline

[rlmark]

Old executable didn't enforce some of our new compiler safety measures, such as compile-time checking of pattern match completeness, and checking that non-unit values don't get discarded.