New validator which performs heavy checks, related to signatures validation and Merkle tree validation.

Checker which requires only parents list + current epoch info.

Reader is accessed by the validator to get the current state.