Quasigroup solver benchmark

Adds a backtracking solver for the quasigroup completion problem as a benchmark