this converges second-order-ish, but takes A LOT of cycles, so
something is wrong.  The big change here is that we now restrict the
edge coefficients directly, instead of restricting the cell-centered
quantities to all levels and then taking these to the edges on
each level.