Add bool-primops testing program