Implement --gwa-case8-emit-all, and some cleanup