Added "Known Limitations" to README

(+ Static Analyzer now analyzes code in Unit Tests too)