Update hash copy, add vrexpr assignment mux expressions/terminal expressions, add random utility, modify term store expression as shared_ptr to avoid mutual inclusion
Implement wdd build