but they could probably afford to make it a little less strict?

iirc the safety checks will reject stuff that might be correct but it can't prove it, instead of accepting stuff that might be wrong but it can't prove it. because oracle problem