Added typechecking tests infrastructure.
Hide stdout/stderr.
Added typechecking tests.