(PUP-620) Default value spec for install_options
(PUP-620) Spec to check setting of install_options