Remove Copy benchmark, which doesn't work after AntiAliasing changes
Remove Copy benchmark, which doesn't work after AntiAliasing changes

epfl-lara/stainless,epfl-lara/stainless,epfl-lara/stainless,epfl-lara/stainless