Minor Controller refactorings

This pull request includes minor refactorings to try and make `Async_NetKAT_Controller` more readable and maintainable.