At first glance it’s very impractical to prove the entire block execution due to the multiple Groth16 proofs to verify. However, if the number of proof to verify per block was minimal (less than 10 instead of more than a thousand) it may be practical!
<aside> 💡
Add something: crash in case the long range attack prevention (densiest choice rule) makes the node crashes (if fork before checkpoint)
</aside>