The reversal of the conviction of Sergey Aleynikov, a computer programmer accused of stealing trade secrets from Goldman Sachs, highlights how difficult it can be to figure out what is - and is not -...