Diagnostic range for unreachable code should stretch to the end of the function

[mhegazy]

The current diagnostic for unreachable code is the first token, which is rather subtle..

The quick fix will correctly remove all the used code. the diagnostic should be have similarly. we should consider reusing the same code from the quick fix to generate the diagnostic spans