Handle trivial inference with default arguments

make_function in opcodes.py was updated to make for-comprehensions compatible with Python 3. Currently, functions that have default arguments are unsupported. Default arguments will be left on the stack, affecting how future instructions are processed.

Imported from Jira [BEAM-3381](https://issues.apache.org/jira/browse/BEAM-3381). Original Jira may contain additional context.
Reported by: luke-zhu.

Start by reading make_function in opcodes.py, focusing on how Python 3 for-comprehensions and default arguments are processed. Trace the stack after a function with default arguments is inferred, then add coverage for this case and verify that the defaults no longer affect subsequent instruction processing.

Written by the indexing model from the issue text.