fix: sysroot assembly verification + absolute path resolution#20

avrabe wants to merge 5 commits into

mainpulseengine/rules_verus:mainfrom

fix/sysroot-diagnostics-and-verificationpulseengine/rules_verus:fix/sysroot-diagnostics-and-verificationCopy head branch name to clipboard