Make pre-verification of mtlLibs with tests

Closes #7

Closes #8