Regarding the bare ground wires that one twists together in the box, is it
required to still put a wire nut on them, even though they are twisted
very well together ?

Around here they have to be crimped together; a wirenut is not acceptable.
Don't know if that is code everywhere.