Generate Magic cards and test specifications