Fix register allocation error in BinaryExpression rule
Fix error in CallExpression returned value
Remove spurious assert in bytecode generator
Add recursive function call tests for bytecode generator