Fixup zeros/ones/vars, and add some tests
Alphabetize some of the bfarray functions
Cleanup functions for uint/int to farray conversion
Cleanup some variable names
Fix some farray degenerate cases
Miscellaneous cleanup
Convert Sudoku to use farray instead of bitvec