feat: remove cuda and add miette error handling#13

lucarlig merged 6 commits intomaintrusted-programming/descend:mainfrom

ascend_descendtrusted-programming/descend:ascend_descendCopy head branch name to clipboard