Add overflow assertion to SBX test