Added tests for KbReasonerImpl

Need to decide how exceptions are handled.  At the moment this tests
assumes we are only interested in timeout exceptions.