Document `lec_main` and provide a Logic Equivalence Check example

Currently, the documentation [mentions](https://google.github.io/xls/solvers/#utilities) the `lec_main` tool used to check logic equivalence, but the tool is not described in detail. Also, there is no example showing the use of this tool, that can be run and used as a reference.

CC @proppy