Tracking Issue: Disabling CBMC's NaN checks

[rajath-mk]

This is a tracking issue to disable CMBC NaN checks since producing a NaN does not seem to be Undefined Behavior, continued from #3873