Add verbose profiling to debug logging

Adds runtime profiling all over the place to investigate Janusz' performance problems when applying this large-scale to proposals.