Correct printf specs, improve messages
Assert precondition for omsect

The failing test cases may not be broken but may instead
violate the preconditions.
Provide tests not triggering assertions

These are the correct set of input permutations.