DumpCaserecorder default argument changed to 'stdout'.

Also a minor tweak so test coverage sees more class definitions as executed.