Addresses map to multiple lines, various fixes

A single address can now map to multiple source code lines. Various fixes for bash, return values and --collect-only/--report-only.