Re-add code coverage support when ICE fixed

[cyplo]

The code coverage reports were removed in #24 because using proptest with tarpaulin makes the compiler go ICE.

Re-add the code coverage support when this bug is closed in both the compiler and tarpaulin package