…I completely forgot about this thread when I posted something about exactly this based on a weekend discussion. See: Idea: Early returns and irrefutability.
Moderators: if this is too similar, just close my new thread and I’ll repost the relevant bits here.