[Truffle] Tidy up core source sections.
[Truffle] Factor out backtrace formatting.
[Truffle] Fix reporting of core method names.