Remove stubing option parameter from BuiltIn

It was never used in the codebase. Also calling stub to not stub
something is really weird