change LiquidCheck.hs to output a single file for coverage-checking the
whole module
add testFunIgnoringFailure to keep on chugging

even if we find a counter-example. this is useful to coverage-checking
without having to fully specify every type
remove STRICT macros in Map.hs

they introduce branches that are never taken, which skews the coverage
metrics
reformat bench.log for easier reading
fix the build..
more inclusive ranges for Int/Char

for fairer comparison with SmallCheck