Slightly optimize SQLite benchmark

This seems to improve SQLite results in the `x10` benchmark by ~10%, and `x1000` by ~500%.