Bimodal morphologies of massive galaxies at the core of a protocluster at z = 3.09 and the strong size growth of a brightest cluster galaxy