Add implementation and contracts for sudoku_cell.make_with_value