Added few comments
Introduce Assertion class in SlimTestSystem

Assertion bundles Instructions and Expectations.

This ensures SlimTable.getAssertions() (previously getInstructions())
has one flow, generating assertions and returning those. The context is
not modified.