Fix typo in the Makefile
Introduce low level encoding checks; Extend dependencies for DPP

Introduce Hashable and DeepSeq instances for common data types, for use
in DPP. Provide low level encoding checking API.
Produce useful exit-from messages where possible