This check signing machine signs at the rate of 7,000 Social Security checks an hour, as John Thomas operates it in Washington, D.C., Dec. 14,…