Updated https://oxide.computer/blog/iddqd-unsafe#what-about-formal-m... with some notes.