Fix CI: remove assertions from main.rs, add missing error normalization patterns#8

Copilot wants to merge 2 commits intogp/rv64imgpBlockchain/schedfuzz:gp/rv64imfrom

copilot/sub-pr-5-another-onegpBlockchain/schedfuzz:copilot/sub-pr-5-another-oneCopy head branch name to clipboard