specification reporter now prints the summary at the end again; adding some rudimentary tests for that