Myria profiling fixes for new myria profiling encoding

Redo of #239