Are reviews of "proof techniques" common in math/CS theory? Are they actually useful for researchers or for students in those fields?

In short: at least in mathematics, yes. The kind of papers you're talking about usually figure as communal lore or online preprints. Sometimes these things are written as a kind of propaganda for a relatively new or obscure field of mathematics; see, for instance, "Generatingfunctionology."