I think number 4 is the wrong way round. 'Champing' and 'chomping' in effect mean the same thing, but although the former is largely obsolete outside this particular idiom, both the Oxford English Dictionary and the Guardian style guide regard it as the more acceptable.