Behavioral Embeddings of Programs: A Quasi-Dynamic Approach for Optimization Prediction