Added profiling code from net2o to assert.fs