Uses optimizations, but leaves assertions/contracts and adds debug information to not impede debugging on the user side. This can be considered progress in the direction of #862. It remains to be seen how much of a performance difference -release would make.