Add an sfmt19937 benchmark (again)