Non-functional code improvements to diagfrob
Fix two bugs in the test (where the cohomology space has dim 0).