discourage accidental use of them. Relatedly, fix several bugs where we were accidentally using dynamic allocas.