Refactor integration test examples to separate tests from lib.rs

[Daanvdplas]

Many contracts just have a lib.rs. It would be nice if we can separate the tests in a file.