Fixed a couple of bugs with the assertion framework, added some tests, and updated Maven to generate source and javadocs