Add GitHub workflow for testing. I think we will also use Aqua.jl for this repository, and I will write unit tests (comparison test) for the modules.