Make DefaultOptions a function instead of a variable

Since we need to initialize the new AllowedType and AllowedInstructions maps,
DefaultOptions needed to become a function.
Only use stacks if they are allowed by the options