Extend fall-through optimizations to more structures

[aitorres]

• Fall-through optimization on a while comparison
• Fall-through optimization on bounded iterations
• Fall-through optimization on structured iterations
• Fall-through optimization on a switch case
• Fall-through optimization on a switch default case

[aitorres]

8c296f5 and e1b8d01 check items 2 and 3 of the list