* implement Async

* don't check for nonflakiness of shrinks

* enable platform specific test parameters

* format

* make platform specific test aspects

* Update TestAspect.scala

* Update ExitUtils.scala