Fixed up FindSentinels so that it looks at Arguments
as a way to get at BasicBlock - code is now restructured
to check whether an array argument's sentinel checks are all
optional. Updated .expecteds to match new outputs and verified
results. I will shortly be adding tests with multiple array
arguments and multiple sentinel checks for each argument.