Add "bigtest" target to test it on four kingdoms