Work in progress auditing the stack usage estimates of the bytecode
compiler routines.  Much of this code is ugly and will never find a
place on the trunk, but the problems it pinpoints will be fixed there.

This is now at the point where the test suite of a --enable-symbols=all
build will usefully panic on those tests where stack estimates are
not correct (or where the auditing code itself is still faulty).