Waterloo needs to be on your list of Canadian schools.
If he wants a small school with an excellent CS program, consider Grinnell. Your son would likely get merit with his stats, but my guess is that your terrific in state and Canadian options will be less out of pocket.
Other LAC suggestions for CS with merit would be St. Olaf and Macalester.