Tests refactoring using FlatSpec and TestProbe

Some of the tests were still using `FunSuite`, being inconsistent with all recent tests using `FlatSpec`.

The handmade `ActorProxy` trait has been removed and replaced by using `TestProbe` in `TestForwarderActor`. Some timeout values have been adjusted.