Cache missing cases found by totality checker, for display
Now :missing works correctly (fixes issue #210)
Also, remove a large chunk of unused code in coverage checker.