[firedrake] vertical slice + topography