Adds tests and minor cleanup.

Adds test for checking the list_parameters() function.
Refactors assertions using SimplexCoverage to AbstractCoverage.