The US military runs on code from the 1980s. Peter Morales, CEO of Code Metal, on how AI and formal verification are rewriting it in minutes instead of months.