Are there any consistency results in set theory (or  in mathematics) that can be proved using nonstandard models of ZFC but not using transitive models of ZFC?