teach Call/CallWithConv to set attributes
mark ~T ret values from function ptrs as noalias

Closes #9154
fix style in `trans_external_path`
document the register_fn split
document why attributes are set on CallInst