Revert "Add path to src when compiling Tests.v"

This reverts commit 35fce44e37a84706525be7ac2e868afcf0413410.