Assertion/Proposition framework for Java unit tests (very alpha, and subject to change)