Implement configuration checksum

The compiler and runtime engine are currently configured separately (in terms of enabled features e.g., booleanizer, AT checker, etc.). The runtime engine should check that the C2PO-generated binary is compatible with the currently enabled features.