Remove collect_unreachable function from the lowering

[gitoleg]

While the collect_unreachable is useful and prevents us from verification errors, we still want to get rid of it and use clean up passes so the unreachable code won't appear in the lowering. Thus we can use the mlir's canonicalizer pass, once #542 will be fixed.