Aleph: remove defexecutor
Update benchmark results
Merge branch 'dev'