Various bug fixes, Logical solving works, Guessing still doesn't work