Revert "Optimize dev builds for profiling."
Revert "Optimize dev builds for profiling."

This reverts commit 50b5d7b03a359006d111ca2cac266c35b04c2c50.

Wallclock time is faster if we use the code we originally had.

dstu/thud