This change will enable error hooks to work even when a logical type is
valid for a subset of its underlying type's values (e.g. when defining
an "even integer" type). Previously the path would have been correct but
the type would have been that of the underlying one.

Also expose `assertLogicalTypes` parsing option.