generate spec filler properly for empty specs
if necessary, properly switch back to decomposed regions before executing after resynthesis
Merge branch 'development' into gumbo
switch gumbotest to SLURP