added prover.  cleaned up some stuff.
cleaned up board.  removed createSolvedBoard because it was taking up too much space and making things hard to read.