Validator and fullnode required upgrade. Fixes unsound axioms in prover and adds native position types.