Updated tests due to typechecker changes
ModelLoaderTest: use the distrib not the user repo

Since that's where we look up everything from