Moving assertion code out to its own files, so it's easier to write a custom assert-expr method, for better error reporting