fix(kernel): dont chop commitments when matched to transient reads

[dbanks12]

Description

Closes #1073

• Don't chop commitment when it matches a read in ordering circuit (chopping is reserved for when nullifier is matched to commitment)
• Only forward transient reads to next kernel (since non-transient are currently membership-checked by kernel)
• Ordering circuit does not forward any reads to its output (ultimately we can actually remove it from final public inputs struct)
• Update tests accordingly
• Some additional (or modifications to) error messages
• Misc cleanup

Checklist:

• I have reviewed my diff in github, line by line.
• Every change is related to the PR description.
• I have linked this pull request to the issue(s) that it resolves.
• There are no unexpected formatting changes, superfluous debug logs, or commented-out code.
• The branch has been merged or rebased against the head of its merge target.
• I'm happy for the PR to be merged at the reviewer's next convenience.

[jeanmon]

@dbanks12 Excellent work overall with great improvements of old code along the way.

[jeanmon]

IMHO, common prefix is meant for re-usability and does not imply that all circuits use the pre-fixed method. Adding the "inner_ordering" is a bit too verbose in my opinion but I can live with it.

[dbanks12]

Hmmm I wanted to make it more clear which circuits use them, but i think you're right that it's overkill.