> we have a ton of high profile examples
Such as?
Such as?
pgrust, high profile rewrites all over the place.
When you have an oracle to check behavior against, it is really easy to build a robust testing machine with property tests against the original.