Perf

Use a single BitArray rather than a dict of strings. (Increases performance by 10x)

Also refactor out the Sudoku JuMP.