The command `test` should go over all modules

[konnov]

Currently, we have to specify the main module, in order to run tests. This is inconvenient. The command test could go over all non-parameterized modules (that is, those that do not contain const).