I'd cut and drain. That way you remove the sediment that has a BUNCH of nutrients in it which are causing problems like the duckweed. Just plan on it being a year project - it will take time to let the muck drain and dry so the dozer can push it.