Continue implementing extra_coverage tests. Add comments file for bisect justifications.
Improve comments on extra_coverage.
Fix redundancy in extra_coverage test case.
dvpt
Merge branch 'split' of /Users/schmitta/work/jscert into public