Benchmarking uncertainty quantification for protein engineering | Synapse