Fix known race condition.
Refactor initialization of global state.
Fix uninitialized memory bug.
Small documentation addition.
Rename index to index_actor.
Streamline interfaces.
Fix bug in sequence-based bitwise operation.

Incorrect length subtraction in case of two literal blocks resulted in
appending too many bits to the result. We have no clearly separated the
different cases in the algorithm.
Fix bug in coverage initialization.