Product brochure, available from ifficial product page at https://mikrotik.com/product/crs510_8xs_2xq_in , mentions 40Gbps backward compatibility. Which 40Gbps QSFP28 modules are compatible is another question. FS does state Mikrotik compatibility so it's quite probable that modules from your link will do just fine.