Add test cases for major functions in sudoku_solver.py
Add blurp about uniqueness and existence