Make Batch.destroy public as it’s useful for destroying manually created batch groups

Make Batch.destroy public as it’s useful for destroying manually created batch groups #13148