More tests

Full coverage for Grassmann, fixed bugs found in the process, test the forgotten `operator+`.