We don't want to DoS the sequencer. Ensure points are on the curve _or_ are the canonical representation of the point at infinity. Requires adding checks and tests to the ContractInstanceRegistry.