Running Core's real consensus code inside a zkVM

Ghost pay is on a back burner. I’m still working through a quorum mesh change. But thank you for the ideas!