[firedrake] High-contrast Stokes problem