Refactor dstep and enable benchmark#25

ninioArtillero wants to merge 4 commits into

seereason:masterseereason/Diff:masterfrom

tweag:ninioArtillero/bench-refactortweag/Diff:ninioArtillero/bench-refactorCopy head branch name to clipboard