Also do shape checking of SOAC return values.
Also do shape checking of SOAC return values.

mrakgr/futhark,HIPERFIT/futhark,mrakgr/futhark,CulpaBS/wbBach,ihc/futhark,HIPERFIT/futhark,ihc/futhark,diku-dk/futhark,diku-dk/futhark,diku-dk/futhark,diku-dk/futhark,mrakgr/futhark,ihc/futhark,diku-dk/futhark,HIPERFIT/futhark