Validate that OpUnreacahble is not statically reachable (#2473)

* Adds a validator check that ensures no block reachable from the entry
block is terminated by OpUnreachable
* Updated tests
* Added new tests