525 haskell compatible utxo and cert cleanup

[williamdemeo]

Description

Checklist

• [ ] Commit sequence broadly makes sense and commits have useful messages
• [ ] Code is formatted according to CONTRIBUTING.md
• [ ] Self-reviewed the diff

[williamdemeo]

CI passes. Merging this into the original PR (#526), closing this PR, and deleting its branch.