Verification and validation of blade-resolved viscous-flow tidal turbine simulations