On 3/5/2018 2:30 PM, John Colvin wrote: > This just feels bad. Adding extra failsafes for my debug program shouldn't make > my release program less safe. Then use `enforce()`.