@HobbyBuilder That was one of my toughest, but also most interesting, pieces of work. It involved understanding both very high-level issues (how state machines can parallelize, representation choices, etc) but also very low-level issues (register pressure, speculative versus non-speculative check tradeoffs, etc).

Thanks for the boost!