asynchronous rob authored Jul 10, 2017 and Arkadiy Paronyan committed Jul 10, 2017

* do more validation of imported headers in light client

* generalize informant with traits

* informant implementation for light client

* make comment into TODO

* fix broken test

* disable full checking of headers in light client in sync tests