Executing instructions on the emulated CPU currently consumes 0 time in a Shadow simulation. This can lead to inaccuracy in applications that are CPU-intensive, and can lead to deadlock in applications with busy loops / spin loops.

Ideally we'd like to model CPU time in a way that preserves determinism, but optional features that model CPU time at the cost of determinism would also be helpful.