Various fixes around Ramsey
Adds debugging information, provides missing output argument to evaluate_static_model, and prevents most immediate crashes with bytecode
Adds debugging information, provides missing output argument to evaluate_static_model, and prevents most immediate crashes with bytecode