Update STHbench-Dev012.11.sh

Made redis a bit faster. In line with some other benchmarks I have seen.