Cleanup: get rid of noisy lines (e.g., `#check`)

[alexkeizer]

We should use #guard_msg to assert, e.g., that a #check succeeds and gives the right type, without polluting the output of a build

[alexkeizer]

#14 has reduced the noise in tests, but there are still quite some noisy lines in the framework itself