> In particular, it was hard to figure out how to let it learn the stride of the convolution, but perhaps we could have done without it.

Yeah, it seems impossible because changing the stride changes the size of the output tensor completely.