By: Greg Pfeil <greg@technomadic.org>
Update test proofs Also remove another `-Wx-partial` that was added on trunk.
| Time to Start | Worker time | Duration | Time to finish | |
| Config | 0s | 32s | 32s | 32s |
| Eval | 32s | 7s | 7s | 40s |
| Build | - | - | - | - |
| Test | - | - | - | - |
| Deploy | - | - | - | - |
| Suite | 0s | 39s | 39s | 40s |