Square footage does not include roosting, nesting or eating space.
Since you live in a cold climate, I don't think I'd put 8 standards in a 4x4 coop. Probably only 4 maximum, and 3 optimally. Even tho you have a couple banties, I think you're pushing your luck.
Sorry about your roo. He is a...