Let's think about separating differential testing tool from the simulator. For example, when there's fault injection, differential testing makes no sense. However, large-scale fuzzing with SQLite as the oracle is very beneficial for compatibility testing.