added benchmark_solve_right*
FLINT lagging behind!