fix(query): correct frontier trimming in shortest path#9599

Schwarf wants to merge 3 commits intodgraph-io:maindgraph-io/dgraph:mainfrom

Schwarf:fix/issue-9577-frontier-trimSchwarf/dgraph:fix/issue-9577-frontier-trimCopy head branch name to clipboard