Will compilers be able to optimize functions based the assumtions that contracts hold (even if they aren't being checked)?