Aleph: remove defexecutor
Update benchmark results