Make selectors choose at compile time whether to return or not.

[Oblivious-Oblivious]

As of version 0.2.0 we craft selectors as functions returning a void*.

Either the compiler should translate accordingly or even have some compile time (preprocessed) code as such

@if selector.ret_value != "void"
    return result;