Remove ext/tmc-check. No need for it to be a submodule.