Fix experimental error

I used the wrong version of insertion-sort-safe.cpp when I
experimented with MathSAT5/Z3 (both BV theory) and BacktrackChecker.