* update echidna, manticore tests. cleanup slither filters

* update readme and fix manticore compilation

* fix slither filter for informational