Test suite challenges

Review and refactor existing suite

Manage implementation-specific tests

Smarter handling of todo, skip designations

Links between tests and specification

• reference
• coverage

Improved sanity tests