I think proving your implementation correct can be a great thing after it's had some time to verify your implementation accounts for issues that come up in prod

I think proving your implementation correct can be a great thing after it's had some time to verify your implementation accounts for issues that come up in production.