[firedrake] solver options