Wouldn't this fail (logic error) if s - y is less than -128 or greater than 127? Because sometimes the needed copmlement is not in the i8 range. So then the indexing would confuse it with another complement value that is inisde the i8 range. If so, it could be fixed by a simple bounds check on x and a continue if it is out of bounds.

Very nice use of iterators!! :)

didn't read that width and height will be > 1 :D

Am i mistaken or does this only check if the number is even and not odd, but does not check if it's a power of two? For example

power_of_two(6)
True

I guess the test cases only test odd numbers for the False test case and thus the test cases work fine.