Adds LocalDistinguishability function 

This is an improved version of https://github.com/nathanieljohnston/QETLAB/pull/3.
The code became much simpler thanks to nesting of SymmetricExtension function.

@vprusso Can you please test?
Do you want line 90 to be something like `cvx_precision(tol);` instead?