Add get_config/set_config to espresso top-matter
Use assumptions context manager in Sudoku doc