doc: document Async_NetKAT_Controller