Temporarily disable optimizations when generating bitcodes for consumption by SAW. Fixes errors with symbolic simulation.
Temporarily disable optimizations when generating bitcodes for
consumption by SAW. Fixes errors with symbolic simulation.

gibson-compsci/s2n,PKRoma/s2n,gibson-compsci/s2n,bpdavidson/s2n,alexeblee/s2n,bpdavidson/s2n,PKRoma/s2n,jldodds/s2n,wcs1only/s2n,gibson-compsci/s2n,bpdavidson/s2n,alexeblee/s2n,alexeblee/s2n,bpdavidson/s2n,wcs1only/s2n,PKRoma/s2n,wcs1only/s2n,jldodds/s2n,gibson-compsci/s2n,wcs1only/s2n,colmmacc/s2n,alexeblee/s2n,colmmacc/s2n,PKRoma/s2n,alexeblee/s2n,awslabs/s2n,awslabs/s2n,colmmacc/s2n,bpdavidson/s2n,colmmacc/s2n,gibson-compsci/s2n,wcs1only/s2n,raycoll/s2n,wcs1only/s2n,raycoll/s2n,jldodds/s2n,awslabs/s2n,raycoll/s2n,PKRoma/s2n,gibson-compsci/s2n,alexeblee/s2n,PKRoma/s2n,awslabs/s2n,PKRoma/s2n,jldodds/s2n,wcs1only/s2n,awslabs/s2n,raycoll/s2n,raycoll/s2n,wcs1only/s2n,bpdavidson/s2n,colmmacc/s2n,raycoll/s2n,jldodds/s2n,colmmacc/s2n,awslabs/s2n,PKRoma/s2n