Using [SolFuzz](https://github.com/firedancer-io/solfuzz), run differential fuzzing on the program against the original builtin implementation.