Mature bok choy has the same sweet and mild flavor of the baby stuff but is much easier to cook on the grill—and you’ll get a better yield, too.