Improve "@return!"

[Christoffer Lerno]

Currently the check is only against optionals directly declared. It should also look at calls and check their @return!