Control Hardware-in-the-Loop Validation of Grid-Forming Control for Tidal Energy Conversion Systems