Fixes #2419 #2386 #2439 #2447 #2432 #2437 #2442
- Fix havoced binding not in optimized function
- Allow arrays with widened numeric properties to update index properties
- Fix nested for statement bailout with nested for-in
- Don’t record modified bindings for immutable bindings when havocing
