Documentation of the buster assertions completed

I have completed the description of the buster assertions. Furthermore i added overviews for the predefined assertions and the assertions for the spies and stubs. Along the way i fixed some bugs.