Refined coverage data structures
Refined coverage data structures

Moved away from just storing hits to storing an enum where each field contains the data for that coverage type. Also, added a LogicState struct to trace boolean states that have been triggered for future c/d coverage.

Filled in doc comments for what I've done.

xd009642/tarpaulin,xd009642/tarpaulin