Added Guard ops for fixed and dynamic slot values#30

DavidThien wants to merge 2 commits intomemory-modelPLSysSec/icarus:memory-modelfrom

memory-model-devPLSysSec/icarus:memory-model-devCopy head branch name to clipboard