Giacomo Zucco stepped down from the board of directors of OCEAN mining pool over strategic disagreements surrounding BIP110 before later returning