BREAKING: Simplify validation utils, drop support for arbitrary conditionals

These were handy, but necessarily result in less useful error messages
since there's no way to identify a useful "value" for evaluation.
BREAKING: Remove deprecated stuff w/only internal use
Update assertions
Optimize common-case `hpred`
v1.12.0