Update crucible and macaw submodules, changes to x86 initial stack#1110

Merged

mergify[bot] merged 7 commits intomasterfrom x86-stack-align

Mar 11, 2021

+86-20

Commits on Mar 4, 2021

Update crucible and macaw submodules, changes to x86 initial stack
chameco
committed

Commits on Mar 9, 2021

Commits on Mar 10, 2021

Use a separate command for What4 hash consing during x86 simulation
chameco
committed

Commits on Mar 11, 2021