The integration tests are really smoke tests

[skip ci]
Reorganize mathcer tests