Add lightweight validate_consistent function
Fix h4 theory to pass conjecture tests