Optimize ConcatStrStr pairs to ConcatStr3
Summary:
When we see a pattern where
```
t1 = ConcatStrStr a b
t2 = ConcatStrStr t1 c
```
we can convert this into
```
t2 = ConcatStr3 a b c
```
if all uses of `t1` are
* `t2 = ConcatStrStr t1 c`
* `Decref t1`
* `StStk` in catch traces
Note: `StStk` in catch traces comes from bringing the unwinder to a consistent state so that it properly unwind the stack.
Reviewed By: ottoni
Differential Revision:
D28293952
fbshipit-source-id:
216c47d2400af57bb89fd8d9df1acdc357b00a90