Warn on @trace Main.blah methods (instead of error)

[cstjean]

Mostly done, but we can improve the warning message for Main by mentioning @traceable