Add build target for running Tamarin sanity tests