crucible-mir: Add basic align_of_val override#1709

RyanGlScott wants to merge 1 commit intomasterGaloisInc/crucible:masterfrom

T1708-align_of_valGaloisInc/crucible:T1708-align_of_valCopy head branch name to clipboard