[firedrake] WG: Dirichlet BC on extruded mesh with discontinuous function space