Document "assume a return" code discovery heuristic

[thebendavis]

Resolved - this is no longer a built-in automatic heuristic, and is now a command line flag the user can choose to enable (--always-classify-return).